441. Temporal logic : mathematical foundations and computational aspects
پدیدآورنده : Gabbay, Dov M.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming , Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
G27
1994
442. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
443. Temporal logic of programs
پدیدآورنده : KROGER,FRED
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
6
.
K753
444. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
445. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic digital computers -- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
446. Temporal logics : and their applications
پدیدآورنده : edited by Antony Galton
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T46
1987
447. Termination proofs for logic programs
پدیدآورنده : Plumer, Lutz
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming,، Artificial intelligence
رده :
QA
76
.
63
.
P58
1990
448. Termination proofs for logic programs
پدیدآورنده : Plumer, Lutz
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming,، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
446
449. Termination proofs for logic programs /
پدیدآورنده : Lutz Plümer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Logic programming.
رده :
QA76
.
63
.
P58
1990
450. The imperative future: principles of executable tomporal logic
پدیدآورنده : edited by Howard Barringer ... ]et al[
موضوع : ، Computer software - Development,، Programming languages )Electronic computer(,، Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
451. The Logic programming paradigm :
پدیدآورنده : K.R. Apt [and others] eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming.,Logisch programmeren.,Programmation logique.
رده :
QA76
.
63
K737
1999
452. The deductive foundations of computer programming: a one-volume version of the logical basis for computer programming
پدیدآورنده : Manna, Zohar
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35
453. The deductive spreadsheet /
پدیدآورنده : Iliano Cervesato
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Deductive databases,Electronic spreadsheets,Logic programming
رده :
QA76
.
9
.
D3
454. The deductive spreadsheet
پدیدآورنده : Cervesato, Iliano
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Electronic spreadsheets,، Deductive databases,، Logic programming
رده :
QA
76
.
9
.
D3
C47
2013
455. The little typer /
پدیدآورنده : Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.,Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.
رده :
QA76
.
63
.
F75
2018
456. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N35
1995
457. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski, 0591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N3
458. The logic of programming
پدیدآورنده : Hehner, Eric C. R.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
459. The logic of programming
پدیدآورنده : Hehner, Eric C. R.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
460. The logic of programming
پدیدآورنده : Hehner, Eric C R
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H42
1984
